Qualitative behavioral reasoning from components’ interfaces to components’ functions for DMU adaption to FE analyses
نویسندگان
چکیده
منابع مشابه
Qualitative behavioral reasoning from components' interfaces to components' functions for DMU adaption to FE analyses
A Digital Mock-Up (DMU), with its B-Rep model of product components, is a standard industrial representation that lacks geometric information about interfaces between components. Component shapes reflect common engineers practice that influence component interfaces with interferences and not only contacts. The proposed approach builds upon relationships between function, behavior and shape to d...
متن کاملFrom Integrated Reasoning Specialists to \plug-and-play" Reasoning Components from Integrated Reasoning Specialists to \plug-and-play" Reasoning Components ?
universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Abstract. There is an increasing evidence that a new generation of reasoning systems will be obtained via the integration of diierent reasoning paradigms. In the veriication arena, several proposals have been advanced on the integration of theorem proving with model checking. At the same time, the adva...
متن کاملFrom Integrated Reasoning Specialists to "Plug-and-Play" Reasoning Components
There is an increasing evidence that a new generation of reasoning systems will be obtained via the integration of different reasoning paradigms. In the verification arena, several proposals have been advanced on the integration of theorem proving with model checking. At the same time, the advantages of integrating symbolic computation with deductive capabilities has been recognized and several...
متن کاملNegotiable Interfaces for Components
Component specifications are vital for communicating a component’s requirements, as components are subject to third-party composition. Most modern programming languages lack sufficient features to express the full requirements of a component, however, much less enforce them. Preand post-conditions can capture functional aspects of a component’s requirements, but are unable to express many tempo...
متن کاملBuilding Components from Functions
In the domain of embedded software systems the increasing complexity of the functionality as well as the increase in variations caused by product lines requires a modular design process, separating function-based and component-based design. As a consequence, functional integration becomes a central task in the development process, to avoid unforeseen interaction. While currently functional inte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer-Aided Design
سال: 2013
ISSN: 0010-4485
DOI: 10.1016/j.cad.2012.10.021